Tyrolean Complexity Tool: Features and Usage
نویسندگان
چکیده
The Tyrolean Complexity Tool, TCT for short, is an open source complexity analyser for term rewrite systems. Our tool TCT features a majority of the known techniques for the automated characterisation of polynomial complexity of rewrite systems and can investigate derivational and runtime complexity, for full and innermost rewriting. This system description outlines features and provides a short introduction to the usage of TCT. 1998 ACM Subject Classification F.1.3 Complexity Measures and Classes, F.3.2 Semantics of Programming Languages, F.4.1 Mathematical Logic, F.4.2 Grammars and Other Rewriting Systems
منابع مشابه
Tyrolean Termination Tool
This paper describes the Tyrolean Termination Tool (TTT in the sequel), the successor of the Tsukuba Termination Tool [12]. We describe the differences between the two and explain the new features, some of which are not (yet) available in any other termination tool, in some detail. TTT is a tool for automatically proving termination of rewrite systems based on the dependency pair method of Arts...
متن کاملTyrolean termination tool: Techniques and features
The Tyrolean Termination Tool (TTT for short) is a powerful tool for automatically proving termination of rewrite systems. It incorporates several new refinements of the dependency pair method that are easy to implement, increase the power of the method, result in simpler termination proofs, and make the method more efficient. TTT employs polynomial interpretations with negative coefficients, l...
متن کاملTyrolean Termination Tool 2
This paper describes the second edition of the Tyrolean Termination Tool—a fully automatic termination analyzer for first-order term rewrite systems. The main features of this tool are its (non-)termination proving power, its speed, its flexibility due to a strategy language, and the fact that the source code of the whole project is freely available. The clean design together with a stand-alone...
متن کاملNatural elements spatial configuration and content usage in urban park
Abstract Urban parks are important public multifunctional space used for a wide range of activities. The usage levels of parks depend on the spatial characteristics of the spaces, where its forms and occupancies are referred as the usage-spatial relationship. Natural elements spatial complexity and park usability is of interest in this study. A photo - questionnaire was conducted among 296 of p...
متن کاملAutomated Complexity Analysis Based on Context-Sensitive Rewriting
In this paper we present a simple technique for analysing the runtime complexity of rewrite systems. In complexity analysis many techniques are based on reduction orders. We show how the monotonicity condition for orders can be weakened by using the notion of contextsensitive rewriting. The presented technique is very easy to implement, even in a modular setting, and has been integrated in the ...
متن کامل